common.py 242 B

123456
  1. # content after the \
  2. escapes = ['0', 'b', 'f', 'n', 'r', 't', '"']
  3. # What it should be replaced by
  4. escapedchars = ['\0', '\b', '\f', '\n', '\r', '\t', '\"']
  5. # Used for substitution
  6. escape_to_escapedchars = dict(zip(_escapes, _escapedchars))